COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\magnification=\magstephalf
C00006 ENDMK
C⊗;
\magnification=\magstephalf
\def\mystrut{\vrule height8truept depth2truept width0pt}    
\nopagenumbers
\parskip=6truept
\centerline{\bf CS 306: Recursive Programming and Proving}
\vskip 4truept
\tabskip=2truept
\halign{
#\hfil&%
#\hfil&%
#\hfil%
\cr
{\bf Professor:}&John McCarthy\cr% 
{\bf Office:}&MJH, room 356\cr%
{\bf Office Phone:}&723-4430\cr%
{\bf Location:}&ERL 320\cr%
\mystrut\hfil\cr%
{\bf TA's:}\cr
&Abhay Mehta&Yung-Jen Hsu\cr
&AMEHTA@SUSHI&HSU@SUSHI\cr
&MJH 458&MJH 450\cr
&&723 3088\cr
\mystrut\hfil\cr%

{\bf Text Books:}&{\bf The Common Lisp Manual, Steele.}\cr
&Available in the bookstore.\cr
&{\bf Lisp Programming and Proving,}\cr
&John McCarthy and Carolyn Talcott\cr
&{\bf EKL-An Interactive Proof Checker-}\cr
&{\bf User's Reference Manual,}\cr
&Jussi Ketonen and Joesph S. Weening\cr
&Available from Rutie Adler in MJH 358.\cr 
&Price: \$9.50\cr
\mystrut\hfil\cr%
} % 

\leftskip 2truecm{
\item{{\bf Course Trivia:}} The course includes an in-class midterm, 
scheduled temporarily for
Nov. 6th, and a final, not yet certain whether take-home or in-class.
Homework sets will be on programming, proving, and mechanical program 
proving. For necessary computer work, we will be using the LOTS Computer Facility,
located in Sweet Hall\footnote*{Sweet Hall will open in two day; meanwhile, use the
terminals at Tresidder} and Tresidder Union (old bowling alley).
There are dial-up lines available, all of which can function with either 300 or
1200 baud. Their numbers are:
\itemitem{}323-7631 (ten ports)
\itemitem{}322-5771 (ten ports)
\itemitem{}723-8643 (ten ports)
\itemitem{}723-8653 (ten ports)
\item{}Students without accounts should proceed to Sweet Hall,
connect to
 OTHELLO, and type OPEN to the prompt. All students should be sure that
they are on the computer class list by running the {\bf update} program.  
Allocation for this class will be six hours a week.

\noindent Reading: Begin with the first two chapters of the notes.
 
{\bf First problem assignments:}

\item{}Write and debug Lisp functions using LOTS according to the problems given
on page 52 et seq. of the notes.

Due Thursday, October 16, problems 1,3,4,5,9,10,11,13

Due Thursday October 30, problems 17,19,25 26,27,28,43

\vskip 6pt
\centerline{\it Good luck}

\bye